Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Unification Algorithms
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
An enough week
blog.mitrichev.chยท23hยท
๐ŸŒฒDeforestation
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท15h
๐Ÿ”ML Language
Less Is More: Recursive Reasoning with Tiny Networks
github.comยท2dยท
Discuss: Hacker News
๐ŸŒฑMinimal ML
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.comยท3hยท
Discuss: r/rust
โšกPartial Evaluation
Toy Binary Decision Diagrams
philipzucker.comยท4d
โœ…Type Checking
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
โšกfunctional programming
Defeating Return Type Polymorphism
philipphagenlocher.deยท1dยท
Discuss: Hacker News
๐Ÿ“Linear Haskell
Categorical systems theory
topos.instituteยท7h
๐Ÿ”—Category Theory
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.orgยท15h
๐Ÿ”ML Language
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Languages
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐ŸงฎCombinator Calculus
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.toยท18hยท
Discuss: DEV
๐Ÿ”„Subinterpreters
From CAP to GAP?
fsharpforfunandprofit.comยท12hยท
Discuss: DEV
๐ŸงชTesting Compilers
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท2dยท
Discuss: Hacker News
โœ…Type Checking
Working on Hard Problems
danvk.orgยท1d
๐ŸคZipper Structures
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs